退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:简化运算符
Monniaux, David;
机译:扩大和缩小运算符以进行抽象解释
机译:扩大Powerset域的运营商
机译:精确加宽运算符,用于通过抽象解释证明终止
机译:封闭凸锥上的正算子,Z算子,Lyapunov秩和线性博弈。
机译:战时或以后工业医学专题讨论会:第一部分:工业医学:其扩展领域:前言与前进!还是工业医学的广阔领域
机译:对拓宽运营商的简约看法
机译:纤维束,即碳纤维束,加宽装置,具有为纤维束提供的输入侧部分和用于扩大体积的输出侧部分,以及相对于枢轴布置的两个旋转对称的扩大面
机译:拓宽道路加宽装置的边缘和道路加宽
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。